Katz, Shmuel M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

$E_7$ , Wirtinger inequalities, Cayley $4$ -form, and homotopy

Bangert, Victor, Katz, Mikhail G., Shnider, Steven, Weinberger, Shmuel

Journal:

Duke Mathematical Journal

Year:

2009

Language:

english

File:

PDF, 353 KB

english, 2009

2

The origins of the conception of Israel's state borders and its impact on the strategy of war in 1948–49

Katz, Yossi, Sandler, Shmuel

Journal:

Journal of Strategic Studies

Year:

1995

Language:

english

File:

PDF, 1.27 MB

english, 1995

3

Preserving liveness: Comments on “safety and liveness from a methodological point of view”

Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 197 KB

english, 1991

4

Partially interpreted schemas for CSP programming

Orit Baruch, Shmuel Katz

Journal:

Science of Computer Programming

Year:

1988

Language:

english

File:

PDF, 1.36 MB

english, 1988

5

Estimating location and size of historical earthquake by combining archaeology and geology in Umm-El-Qanatir, Dead Sea Transform

Neta Wechsler, Oded Katz, Yehoshua Dray, Ilana Gonen, Shmuel Marco

Journal:

Natural Hazards

Year:

2009

Language:

english

File:

PDF, 935 KB

english, 2009

6

Influence of gender in the therapeutic management of patients with acute myocardial infarction in Israel

Solomon Behar, Shmuel Gottlieb, Hanoch Hod, Ron Narinsky, Boaz Benari, Eldad Rechavia, Hana Pauzner, Natan Rougin, Oskar H. Kracoff, Amos Katz, Arie Roth, Ehud Goldhammer, Leonid Rudnik, Hedy E. Faibe

Journal:

The American Journal of Cardiology

Year:

1994

Language:

english

File:

PDF, 543 KB

english, 1994

7

Selection of representations for data structures

Rosenschein, Stanley J., Katz, Shmuel M.

Journal:

ACM SIGPLAN Notices

Year:

1977

Language:

english

File:

PDF, 711 KB

english, 1977

8

Different approaches for Endo-SPONGE® insertion to treat rectal anastomotic leaks

Katz, Ephraim, White, Ian, Shpitz, Baruch, Ghinea, Ronen, Avital, Shmuel

Journal:

Techniques in Coloproctology

Year:

2018

Language:

english

File:

PDF, 713 KB

english, 2018

9

A complete rule for equifair termination

Orna Grumberg, Nissim Francez, Shmuel Katz

Journal:

Journal of Computer and System Sciences

Year:

1986

Language:

english

File:

PDF, 1.15 MB

english, 1986

10

Interleaving set temporal logic

Shmuel Katz, Doron Peled

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 3.28 MB

english, 1990

11

Defining conditional independence using collapses

Shmuel Katz, Doron Peled

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.64 MB

english, 1992

12

An interactive course to enhance self-efficacy of family practitioners to treat obesity

Sara Katz, Amiel Feigenbaum, Shmuel Pasternak, Shlomo Vinker

Journal:

BMC Medical Education

Year:

2005

Language:

english

File:

PDF, 503 KB

english, 2005

13

Rent-seeking for pure public goods

Eliakim Katz, Shmuel Nitzan, Jacob Rosenberg

Journal:

Year:

1990

Language:

english

File:

PDF, 539 KB

english, 1990

14

A closer look at termination

Shmuel Katz, Zohar Manna

Journal:

Acta Informatica

Year:

1975

Language:

english

File:

PDF, 894 KB

english, 1975

15

Candida infected ascites caused by perforated ulcer

Uri Freund, Zvi Gimmon, Shmuel Katz

Journal:

Year:

1979

Language:

english

File:

PDF, 117 KB

english, 1979

16

Initial failures in distributed computations

Gadi Taubenfeld, Shmuel Katz, Shlomo Moran

Journal:

International Journal of Parallel Programming

Year:

1989

Language:

english

File:

PDF, 1.24 MB

english, 1989

17

Fairness and the axioms of control predicates

Nissim Francez, Shmuel Katz

Journal:

International Journal of Parallel Programming

Year:

1987

Language:

english

File:

PDF, 854 KB

english, 1987

18

Appraising fairness in languages for distributed programming

Krzysztof R. Apt, Nissim Francez, Shmuel Katz

Journal:

Distributed Computing

Year:

1988

Language:

english

File:

PDF, 1.65 MB

english, 1988

19

Verification of distributed programs using representative interleaving sequences

Shmuel Katz, Doron Peled

Journal:

Distributed Computing

Year:

1992

Language:

english

File:

PDF, 1.69 MB

english, 1992

20

Self-stabilizing extensions for meassage-passing systems

Shmuel Katz, Kenneth J. Perry

Journal:

Distributed Computing

Year:

1993

Language:

english

File:

PDF, 1.30 MB

english, 1993

21

A brief history of tracheostomy and tracheal intubation, from the Bronze Age to the Space Age

Peter Szmuk, Tiberiu Ezri, Shmuel Evron, Yehudah Roth, Jeffrey Katz

Journal:

Intensive Care Medicine

Year:

2008

Language:

english

File:

PDF, 444 KB

english, 2008

22

VeriTech: a framework for translating among model description notations

Orna Grumberg, Shmuel Katz

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 560 KB

english, 2007

23

The common aspect proof environment

Shmuel Katz, David Faitelson

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 408 KB

english, 2012

24

A concern architecture view for aspect-oriented software design

Mika Katara, Shmuel Katz

Journal:

Software & Systems Modeling

Year:

2007

Language:

english

File:

PDF, 324 KB

english, 2007

25

Reusing semi-specified behavior models in systems analysis and design

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz

Journal:

Software & Systems Modeling

Year:

2009

Language:

english

File:

PDF, 829 KB

english, 2009

26

MAVEN: modular aspect verification and interference analysis

Max Goldman, Emilia Katz, Shmuel Katz

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 742 KB

english, 2010

27

On a matrix inequality

Shmuel Friedland, Moshe Katz

Journal:

Linear Algebra and its Applications

Year:

1987

Language:

english

File:

PDF, 278 KB

english, 1987

28

Flower development in the passion fruit Passiflora edulis requires a photoperiod-induced systemic graft-transmissible signal

NAHUM NAVE, EHUD KATZ, NOAM CHAYUT, SHMUEL GAZIT, ALON SAMACH

Journal:

Plant, Cell & Environment

Year:

2010

Language:

english

File:

PDF, 2.25 MB

english, 2010

29

Saving Space by Fully Exploiting Invisible Transitions

Shmuel Katz, Hillel Miller

Journal:

Formal Methods in System Design

Year:

1999

Language:

english

File:

PDF, 153 KB

english, 1999

30

OPM/Web – Object-Process Methodology for Developing Web Applications

Iris Reinhartz-Berger, Dov Dori, Shmuel Katz

Journal:

Annals of Software Engineering

Year:

2002

Language:

english

File:

PDF, 365 KB

english, 2002

31

Cardiac contusion in the patient with multiple injuries

Shmuel Katz, Zvi Gimmon(Goldschmidt), Azai Appelbaum

Journal:

Year:

1980

Language:

english

File:

PDF, 1.77 MB

english, 1980

32

Two-dimensional echocardiographic analysis of proximal left main coronary artery in humans

Zvi Vered, Menachem Katz, Shmuel Rath, Yadael Har-Zahav, Alexander Battler, Patricia Benjamin, Henry N Neufeld

Journal:

American Heart Journal

Year:

1986

Language:

english

File:

PDF, 3.45 MB

english, 1986

33

Renal trauma with posttaumatic hypertension in a neonate

Yehezkel G. Caine, Scott Fields, Hubert Rakotomalala, Yigal Shvil, Shmuel Katz, Madad Schiller

Journal:

Journal of Pediatric Surgery

Year:

1992

Language:

english

File:

PDF, 1.35 MB

english, 1992

34

Earthquake-induced barium anomalies in the Lisan Formation, Dead Sea Rift valley, Israel

Amitai Katz, Amotz Agnon, Shmuel Marco

Journal:

Earth and Planetary Science Letters

Year:

2009

Language:

english

File:

PDF, 1.59 MB

english, 2009

35

The outcome of patients with acute myocardial infarction ineligible for thrombolytic therapy

Solomon Behar, Shmuel Gottlieb, Hanoch Hod, Boaz Benari, Ron Narinsky, Hana Pauzner, Eldad Rechavia, Hedy E. Faibel, Amos Katz, Arie Roth, Ehud Goldhammer, Nahum A. Freedberg, Natan Rougin, Oscar Krac

Journal:

The American Journal of Medicine

Year:

1996

Language:

english

File:

PDF, 675 KB

english, 1996

36

Pancreatic abscess: An unusual complication of pancreatitis in infancy

Shmuel Katz, Avi Rivkind, Oded Cohen, Medad Schiller

Journal:

Journal of Pediatric Surgery

Year:

1983

Language:

english

File:

PDF, 164 KB

english, 1983

37

Kinetics of formation of neutralizing antibodies against vaccinia virus following re-vaccination

Shmuel Stienlauf, Michal Shoresh, Abraham Solomon, Tamar Lublin-Tennenbaum, Yaakov Atsmon, Yosef Meirovich, Ehud Katz

Journal:

Year:

1999

Language:

english

File:

PDF, 150 KB

english, 1999

38

[Lecture Notes in Computer Science] Transactions on Aspect-Oriented Software Development VII Volume 6210 || Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study

Katz, Shmuel, Mezini, Mira, Kienzle, Jörg

Year:

2010

Language:

english

File:

PDF, 175 KB

english, 2010

39

[Lecture Notes in Computer Science] Transactions on Aspect-Oriented Software Development VI Volume 5560 || MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation

Katz, Shmuel, Ossher, Harold, France, Robert, Jézéquel, Jean-Marc

Year:

2009

Language:

english

File:

PDF, 636 KB

english, 2009

40

[ACM Press the 1977 symposium - Not Known (1977.08.15-1977.08.17)] Proceedings of the 1977 symposium on Artificial intelligence and programming languages - - Selection of representations for data structures

Rosenschein, Stanley J., Katz, Shmuel M.

Year:

1977

Language:

english

File:

PDF, 711 KB

english, 1977

41

[Lecture Notes in Computer Science] Languages: From Formal to Natural Volume 5533 ||

Grumberg, Orna, Kaminski, Michael, Katz, Shmuel, Wintner, Shuly

Year:

2009

Language:

english

File:

PDF, 10.71 MB

english, 2009

42

Historical sand injections on the Mediterranean shore of Israel: evidence for liquefaction hazard

Marco, Shmuel, Katz, Oded, Dray, Yehoshua

Journal:

Natural Hazards

Year:

2014

Language:

english

File:

PDF, 2.04 MB

english, 2014

43

Rent-Seeking for Pure Public Goods

Eliakim Katz, Shmuel Nitzan and Jacob Rosenberg

Journal:

Year:

1990

Language:

english

File:

PDF, 993 KB

english, 1990

44

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - User Queries for Specification Refinement Treating Shared Aspect Join Points

Katz, Emilia, Katz, Shmuel

Year:

2010

Language:

english

File:

PDF, 275 KB

english, 2010

45

Comparison of early and late outcomes of TAVI alone compared to TAVI plus PCI in aortic stenosis patients with and without coronary artery disease

Abramowitz, Yigal, Banai, Shmuel, Katz, Guy, Steinvil, Arie, Arbel, Yaron, Havakuk, Ofer, Halkin, Amir, Ben-Gal, Yanai, Keren, Gad, Finkelstein, Ariel

Journal:

Catheterization and Cardiovascular Interventions

Year:

2014

Language:

english

File:

PDF, 90 KB

english, 2014

46

Evaluation of the feasibility of a far-infrared laser based on intersubband transitions in GaAs quantum wells

Borenstain, Shmuel I., Katz, Joseph

Journal:

Applied Physics Letters

Year:

1989

Language:

english

File:

PDF, 610 KB

english, 1989

47

A Tetrazolium-Based Colorimetric Assay for Titration of Neutralizing Antibodies against Vaccinia Virus

IFRAH, MOSHE, STIENLAUF, SHMUEL, SHORESH, MICHAL, KATZ, EHUD

Journal:

Viral Immunology

Year:

1998

Language:

english

File:

PDF, 638 KB

english, 1998

48

Logical analysis of programs

Katz, Shmuel, Manna, Zohar

Journal:

Communications of the ACM

Year:

1976

Language:

english

File:

PDF, 1.76 MB

english, 1976

49

[Lecture Notes in Computer Science] Transactions on Aspect-Oriented Software Development VI Volume 5560 || Aspects across Software Life Cycle: A Goal-Driven Approach

Katz, Shmuel, Ossher, Harold, France, Robert, Jézéquel, Jean-Marc

Year:

2009

Language:

english

File:

PDF, 765 KB

english, 2009

50

[Lecture Notes in Computer Science] Transactions on Aspect-Oriented Software Development VI Volume 5560 || On Language-Independent Model Modularisation

Katz, Shmuel, Ossher, Harold, France, Robert, Jézéquel, Jean-Marc

Year:

2009

Language:

english

File:

PDF, 1.16 MB

english, 2009